When we get a leave event, we need to remove the over bit,
since we may not get motion events that tell us when we lose
proximity, but we don't have to fade out right away - that
will happen on its on due to inactivity a bit later. Having
the indicator stay visible for a bit feels more relaxed.
if (priv->use_indicators)
{
indicator_set_over (&priv->hindicator, FALSE);
- indicator_start_fade (&priv->hindicator, 0.0);
indicator_set_over (&priv->vindicator, FALSE);
- indicator_start_fade (&priv->vindicator, 0.0);
}
return GDK_EVENT_PROPAGATE;